1721. Random processes in physical systems : an introduction to probability-based computer simulations
Author: Whitney, Charles Allen.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Science-- Computer simulation,، Random walks )Mathematics(,، Programming )Electronic computers(
Classification :
Q
183
.
9
.
W49
1990
1722. Randomization and approximation techniques in computer science: International Workshop RANDOM'97 Bologna, Italy, July 11-12, 1997: proceedings
Author: Jose Rolim, ]ed.[
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Statistical methods - Congresses ، Computer science,Mathematics - Congresses ، Computer science
Classification :
QA
76
.
9
.
M35
R36
1997
1723. Randomness and completeness in computational complexity
Author: / Dieter van Melkebeek
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer science--Mathematics,Computational complexity.
Classification :
QA
,
76
.
9
,.
M35
,
M54
,
2000
1724. Randomness and completeness in computational complexity
Author: Dieter van Melkebeek
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer science -- Mathematics,، Computational complexity
Classification :
QA
76
.
L28
Vol
.
1950
1725. Reachability problems :
Author: Igor Potapov, Pierre-Alain Reynier (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses.,Computer systems-- Verification, Congresses.,Decidability (Mathematical logic), Congresses.,Logics and Meanings of Programs.,Math Applications in Computer Science.,Numeric Computing.,Probability and Statistics in Computer Science.,Computer programming / software development.,Computer science-- Mathematics.,Computer systems-- Verification.,Computers-- Data Processing.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Decidability (Mathematical logic),Mathematical theory of computation.,Maths for computer scientists.
Classification :
QA76
.
76
.
V47
1726. Reachability problems
Author: Alain Finkel, Jérôme Leroux, Igor Potapov (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses,Computer systems-- Verification, Congresses,Decidability (Mathematical logic), Congresses
Classification :
QA76
.
76
.
V47
R6
2012eb
1727. Reachability problems :
Author: Parosh Aziz Abdulla, Igor Potapov (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science -- Mathematics -- Congresses.,Computer systems -- Verification -- Congresses.,Decidability (Mathematical logic) -- Congresses.
Classification :
QA76
.
76
.
V47
P376
9999
1728. Realtime Data Minin
Author: / by Alexander Paprotny, Michael Thess
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Mathematics,Computer science,Computer software,Electronic books
Classification :
E-BOOK
1729. Recent advances in intelligent engineering systems
Author: Janos Fodor, Ryszard Klempous and Carmen Paz Suarez Araujo )eds.(
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، Expert systems )Computer science( Congresses,، Engineering,، Artificial intelligence,، Engineering mathematics,، Computational Intelligence,، Artificial Intelligence )incl. Robotics(,، Appl. Mathematics/Computational Methods of Engineering
Classification :
QA
76
.
76
.
E95
R423
2012
1730. Recent trends in algebraic development techniques
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer software ; Development ; Congresses. ; Computer science ; Mathematics ; Congresses. ; Abstract data types (Computer science) ; Congresses. ;
1731. Recent trends in algebraic development techniques
Author: / Jos?� Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer software--Development--Congresses,Computer science--Mathematics--Congresses,Abstract data types (Computer science)--Congresses
Classification :
QA
,
76
.
754
,
W32
,
2004
1732. Recent trends in algebraic development techniques
Author: \ Mihai Codescu, Răzvan Diaconescu, Ionuț Țuțu (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer software -- Development -- Congresses.,Computer science -- Mathematics -- Congresses,Formal methods (Computer science) -- Congresses.,نرمافزار -- تولید -- کتگره ها,علوم کامپیوتر -- ریاضیات -- کنگرهها ,روشهای صوری (کامپیوتر) -- کنگرهها
Classification :
QA
76
.
76
.
D47
W32
2015
E-Book
,
1733. Recent trends in algebraic development techniques :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer software ; Development ; Congresses ; Computer science ; Mathematics ; Congresses ; Abstract data types (Computer science) ; Congresses ;
1734. Recent trends in algebraic development techniques
Author: / Jose Luiz Fiadeiro, Pierre-Yves Schobbens (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer software--Development--Congresses,Computer science--Mathematics--Congresses,Abstract data types (Computer science)--Congresses
Classification :
QA
,
76
.
76
,.
D47
,
W33
,
2006
1735. Recent trends in algebraic development techniques
Author: / Jose Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas (eds.).
Library: Library of College of Science University of Tehran (Tehran)
Subject: Computer science, -- Congresses, -- Mathematics,a05,Computer software--Development--Congresses.,Abstract data types (Computer science)--Congresses.
Classification :
QA76
.
751
.
W32
2004
1736. Recent trends in algebraic development techniques
Author: Narciso Martí-Oliet, Miguel Palomino (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses,Computer software-- Development, Congresses,Formal methods (Computer science), Congresses
Classification :
QA76
.
76
.
D47
W33
2012
1737. Recent trends in algebraic development techniques
Author: / Maura Cerioli, Gianna Reggio (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer software--Development--Congresses,Computer science--Mathematics--Congresses,Abstract data types (Computer science)--Congresses
Classification :
QA
,
76
.
76
,.
D47
,
W33
,
2001
1738. Recent trends in algebraic development techniques
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer software ; Development ; Congresses. ; Computer science ; Mathematics ; Congresses. ; Abstract data types (Computer science) ; Congresses. ;
1739. Recent trends in algebraic development techniques :
Author: José Luiz Fiadeiro, Ionuţ Ţuţu (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses.,Computer software-- Development, Congresses.,Formal methods (Computer science), Congresses.,Computer science-- Mathematics.,Computer software-- Development.,Formal methods (Computer science)
Classification :
QA76
.
76
.
D47
1740. Recent trends in algebraic development techniques : 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers
Author: Jose Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Development,Congresses ، Computer science -- Mathematics,Congresses ، Abstract data types )Computer science(
Classification :
QA
76
.
L28
Vol
.
3423
